Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
151	Preventing Arithmetic Overflows in Alloy Aleksandar Milicevica,∗, Daniel Jacksona a Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory, Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-07-07 17:53:08 Model theory Semantics Predicate logic Formal languages Metalogic First-order logic Alloy Analyzer Alloy Integer overflow Logic Mathematical logic Mathematics
152	c LISP AND SYMBOLIC COMPUTATION: An International Journal, ?, ??{ ??, Kluwer Academic Publishers { Manufactured in The Netherlands Results and Conclusions from the VLISP Verication Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Programming language theory Programming language semantics Programming language implementation Compiler construction Denotational semantics PreScheme Compiler Formal methods Programming language Software engineering Theoretical computer science Logic in computer science
153	Cross-lingual Coreference Resolution of Pronouns ˇ Michal Nov´ak and Zdenˇek Zabokrtsk´ y Charles University in Prague, Faculty of Mathematics and Physics Institute of Formal and Applied Linguistics Add to Reading List Source URL: anthology.aclweb.org Language: English - Date: 2014-08-08 12:18:47 Computational linguistics Personal pronouns Pragmatics Pronouns Antecedent Coreference Anaphora Reflexive pronoun Natural language processing Linguistics Syntax Semantics
154	Detecting Inconsistencies via Universal Reachability Analysis Aaron Tomb Cormac Flanagan Galois, Inc., USA Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:46 Quantification Program logic Formal methods Predicate transformer semantics Entailment Assertion C Existential quantification FO Logic Software engineering Theoretical computer science
155	BRICS Basic Research in Computer Science BRICS RSAger et al.: On Obtaining Knuth, Morris, and Pratt’s String Matcher by Partial Evaluatio On Obtaining Knuth, Morris, and Pratt’s Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-08-12 05:12:36 Formal languages String matching algorithms Logic in computer science Programming language semantics Donald Knuth Knuth–Morris–Pratt algorithm String Algorithm Functional programming Mathematics Theoretical computer science Computing
156	June 21, 1967 CGTM No. 16 Dan Ross BOX SYNTAX A 2-DIMENSIONAL METALANGUAGE Add to Reading List Source URL: www.slac.stanford.edu Language: English - Date: 2011-07-15 16:33:00 Computing Backus–Naur Form Formal grammar IMP programming language Syntax Semantics Terminal and nonterminal symbols Regular expression Ficus Formal languages Software engineering Computer programming
157	Applicative Abstract Categorial Grammar Semantics Seminar Toukyou, Japan, June 1, 2012 Add to Reading List Source URL: okmij.org Language: English - Date: 2012-06-05 21:37:41 Formal languages Science Quantification Predicate logic Categorial grammar Parsing Binding Formal grammar Linguistics Logic Semantics
158	WP (Draft Manual) WP Plug-in (Draft) Manual Release 1.0 Loïc Correnson, Zaynah Dargaye, Anne Pacalet Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Predicate transformer semantics Software Frama-C Hoare logic Lambert W function Automated theorem proving Formal methods Program logic Theoretical computer science
159	WP 0.4 (Draft Manual) WP Plug-in (Draft) Manual Version 0.4 for NitrogenLoïc Correnson, Zaynah Dargaye, Anne Pacalet Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:56 Predicate transformer semantics Software Logic in computer science Hoare logic Frama-C Precondition Lambert W function Program logic Theoretical computer science Formal methods
160	A Declarative View of Inheritance in Logic Programming M. Bugliesi Dipartimento di Matematica Pura ed Applicata Via Belzoni 7, Padova – ITALY Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:12:30 Deduction Philosophy of language Model theory Natural deduction Modal logic Sheaf Interpretation Entailment Formal semantics Logic Philosophical logic Semantics

UPDATE